ProDEVS : an Event-Driven Modeling and Simulation Tool for Hybrid Systems using State Machines
نویسندگان
چکیده
This paper int roducesa new event pdriven modeling and simp ulat ion tool for the simulat ion of hybrid systemsG The parp t icularity of this software called ProDEVS lies in it s graphp ical language to define model components behaviourG This graphical language customizes statemachines for DEVSand quant ized based numerical methodsG In this paper4 syntax and operat ional semant ic of the language are explained4 and a mapping from DEVS to this language is illust rated across two simple examples in discretepevent and cont inuous dop mainG Finally a complete hybrid system is modeled and simulated to show the usability and the e ciency of this modelG General Terms Languages
منابع مشابه
ProDEVS: an event-driven modeling and simulation tool for hybrid systems using state diagrams
This paper introduces a new event-driven modeling and simulation tool for the simulation of hybrid systems. The particularity of this software called ProDEVS lies in its graphical language to define model components behaviour. This graphical language customizes state diagrams for DEVS and quantized based numerical methods. In this paper, syntax and operational semantic of the language are expla...
متن کاملOptimal design of supply chain network under uncertainty environment using hybrid analytical and simulation modeling approach
Models that aim to optimize the design of supply chain networks have gained more interest in the supply chain literature. Mixed-integer linear programming and discrete-event simulation are widely used for such an optimization problem. We present a hybrid approach to support decisions for supply chain network design using a combination of analytical and discrete-event simulation models. The prop...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملA Petri-net based modeling tool, for analysis and evaluation of computer systems
Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports dif...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017